Libro
|
A survey of verification techniques for parallel programs:
|
Barringer, Howard
|
(c1985)
|
Domicilio
|
----------
|
Libro
|
Computabilidad, complejidad computacional y verificación de programas:
|
Rosenfeld, Ricardo Fabián
|
1a ed.
(2013)
|
|
----------
|
Libro
|
Computabilidad, complejidad computacional y verificación de programas
|
Rosenfeld, Ricardo Fabián
|
1a ed.
(2013)
|
Domicilio
|
----------
|
Tesis
|
Concurrencia tradicional en programación funcional:
|
Mocciola, Pablo Andrés
|
(1998)
|
Sala
|
----------
|
Libro
|
Fairness:
|
Francez, Nissim
|
1a ed.
(c1986)
|
Domicilio
|
----------
|
Libro
|
Leveraging Applications of Formal Methods, Verification and Validation. : Technologies for Mastering Change, Part 1
|
Margaria, Tiziana
|
1st. ed.
(2012)
|
Domicilio
|
----------
|
Artículo
|
Model checking the behavior of frameworks extended with other frameworks :
|
Balaguer, Federico
|
(2005)
|
|
----------
|
Libro
|
Méthode générale d'analyse d'une application informatique
|
Castellani, Xavier
|
4e éd. rév. et aug.
(1982)
|
Domicilio
|
----------
|
Libro
|
Métodos formais para o desenvolvimento de programas
|
Alencar, Paulo S. C. de
|
Ed. prelim.
(1988)
|
Domicilio
|
----------
|
Tesis
|
Obteniendo eficiencia y legibilidad en programas generados automáticamente:
|
Canal, Esteban de la
|
(2003)
|
Sala
|
----------
|